logic The discipline that treats formal logic by means of

a formalised artificial language or symbolic calculus, whose

purpose is to avoid the ambiguities and logical inadequacies

of natural language.